type Foo = string & number
